Admissible rule - PDFSEARCH.IO - Document Search Engine

Admissible rule
Results: 97

#	Item
81	Deep Sequent Systems for Modal Logic ¨nnler Kai Bru Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2006-03-24 13:00:48 Mathematics Sequent calculus Sequent Symbol Soundness Kripke semantics Natural deduction Admissible rule Logic Proof theory Mathematical logic
82	Does the deduction theorem fail for modal logic? Raul Hakli Sara Negri Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2011-02-03 07:57:14 Deduction Model theory Philosophical logic Propositional calculus Deduction theorem Natural deduction Admissible rule Sequent calculus Rule of inference Logic Mathematical logic Proof theory
83	BASIC IDEAS OF A GENERAL THEORY OF STATISTICAL DECISION RULES ABRAHAM Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:22:25 Science Minimax Loss function Prior probability Decision rule Minimax estimator Admissible decision rule Decision theory Statistics Mathematics
84	Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic — Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-24 15:15:34 Symbol Model theory Structure Admissible rule Monoid Sigma-algebra Orbifold Programming Computable Functions Mathematics Abstract algebra Mathematical logic
85	4 COMPUTATIONAL MODAL LOGIC Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:53:15 Modal logic Philosophical logic Predicate logic Metalogic First-order logic Interpretation Satisfiability Admissible rule Boolean satisfiability problem Logic Mathematical logic Model theory
86	✬ ✩ Add to Reading List Source URL: www.matap.uma.es Language: English - Date: 2001-09-26 05:21:21 Fuzzy logic Multi-adjoint logic programming Logic programming Residuated lattice Fuzzy control system Semilattice Entailment Admissible rule BL Logic Mathematical logic Mathematics
87	A Programming Language for Cognitive Agents Goal Directed 3APL Mehdi Dastani Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2003-06-04 18:56:22 Admissible rule Modal logic 3APL Symbol Natural deduction Multi-agent systems Mathematical logic Logic
88	Equational Problems and Disunification Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2004-02-16 04:15:00 Probability theory Formal languages Automated theorem proving Logic programming Unification Mathematical logic Admissible rule Model theory Word problem Mathematics Theoretical computer science Logic
89	30 Years of Higher-Order Unification G´ Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2002-09-02 10:28:36 Logic programming Mathematics Unification Sequent Linear logic Admissible rule Substitution Logic Mathematical logic Automated theorem proving
90	PDF Document Add to Reading List Source URL: www.depts.ttu.edu Language: English - Date: 2011-09-19 10:31:27 Artificial intelligence Stable model semantics Negation as failure Prolog Answer set programming Negation Inference Natural deduction Admissible rule Logic programming Logic Software engineering

UPDATE